Optimal. Leaf size=327 \[ \frac {a^2 e x}{b^3}+\frac {e x}{2 b}+\frac {a^2 f x^2}{2 b^3}+\frac {f x^2}{4 b}-\frac {a (e+f x) \cosh (c+d x)}{b^2 d}-\frac {f \cosh ^2(c+d x)}{4 b d^2}-\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}\right )}{b^3 d}+\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a+\sqrt {a^2+b^2}}\right )}{b^3 d}-\frac {a \sqrt {a^2+b^2} f \text {PolyLog}\left (2,-\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}\right )}{b^3 d^2}+\frac {a \sqrt {a^2+b^2} f \text {PolyLog}\left (2,-\frac {b e^{c+d x}}{a+\sqrt {a^2+b^2}}\right )}{b^3 d^2}+\frac {a f \sinh (c+d x)}{b^2 d^2}+\frac {(e+f x) \cosh (c+d x) \sinh (c+d x)}{2 b d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.39, antiderivative size = 327, normalized size of antiderivative = 1.00, number of steps
used = 15, number of rules used = 10, integrand size = 32, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.312, Rules used = {5698, 3391,
5684, 3377, 2717, 3403, 2296, 2221, 2317, 2438} \begin {gather*} \frac {a^2 e x}{b^3}+\frac {a^2 f x^2}{2 b^3}-\frac {a f \sqrt {a^2+b^2} \text {Li}_2\left (-\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}\right )}{b^3 d^2}+\frac {a f \sqrt {a^2+b^2} \text {Li}_2\left (-\frac {b e^{c+d x}}{a+\sqrt {a^2+b^2}}\right )}{b^3 d^2}-\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}+1\right )}{b^3 d}+\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (\frac {b e^{c+d x}}{\sqrt {a^2+b^2}+a}+1\right )}{b^3 d}+\frac {a f \sinh (c+d x)}{b^2 d^2}-\frac {a (e+f x) \cosh (c+d x)}{b^2 d}-\frac {f \cosh ^2(c+d x)}{4 b d^2}+\frac {(e+f x) \sinh (c+d x) \cosh (c+d x)}{2 b d}+\frac {e x}{2 b}+\frac {f x^2}{4 b} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 2221
Rule 2296
Rule 2317
Rule 2438
Rule 2717
Rule 3377
Rule 3391
Rule 3403
Rule 5684
Rule 5698
Rubi steps
\begin {align*} \int \frac {(e+f x) \cosh ^2(c+d x) \sinh (c+d x)}{a+b \sinh (c+d x)} \, dx &=\frac {\int (e+f x) \cosh ^2(c+d x) \, dx}{b}-\frac {a \int \frac {(e+f x) \cosh ^2(c+d x)}{a+b \sinh (c+d x)} \, dx}{b}\\ &=-\frac {f \cosh ^2(c+d x)}{4 b d^2}+\frac {(e+f x) \cosh (c+d x) \sinh (c+d x)}{2 b d}+\frac {a^2 \int (e+f x) \, dx}{b^3}-\frac {a \int (e+f x) \sinh (c+d x) \, dx}{b^2}+\frac {\int (e+f x) \, dx}{2 b}-\frac {\left (a \left (a^2+b^2\right )\right ) \int \frac {e+f x}{a+b \sinh (c+d x)} \, dx}{b^3}\\ &=\frac {a^2 e x}{b^3}+\frac {e x}{2 b}+\frac {a^2 f x^2}{2 b^3}+\frac {f x^2}{4 b}-\frac {a (e+f x) \cosh (c+d x)}{b^2 d}-\frac {f \cosh ^2(c+d x)}{4 b d^2}+\frac {(e+f x) \cosh (c+d x) \sinh (c+d x)}{2 b d}-\frac {\left (2 a \left (a^2+b^2\right )\right ) \int \frac {e^{c+d x} (e+f x)}{-b+2 a e^{c+d x}+b e^{2 (c+d x)}} \, dx}{b^3}+\frac {(a f) \int \cosh (c+d x) \, dx}{b^2 d}\\ &=\frac {a^2 e x}{b^3}+\frac {e x}{2 b}+\frac {a^2 f x^2}{2 b^3}+\frac {f x^2}{4 b}-\frac {a (e+f x) \cosh (c+d x)}{b^2 d}-\frac {f \cosh ^2(c+d x)}{4 b d^2}+\frac {a f \sinh (c+d x)}{b^2 d^2}+\frac {(e+f x) \cosh (c+d x) \sinh (c+d x)}{2 b d}-\frac {\left (2 a \sqrt {a^2+b^2}\right ) \int \frac {e^{c+d x} (e+f x)}{2 a-2 \sqrt {a^2+b^2}+2 b e^{c+d x}} \, dx}{b^2}+\frac {\left (2 a \sqrt {a^2+b^2}\right ) \int \frac {e^{c+d x} (e+f x)}{2 a+2 \sqrt {a^2+b^2}+2 b e^{c+d x}} \, dx}{b^2}\\ &=\frac {a^2 e x}{b^3}+\frac {e x}{2 b}+\frac {a^2 f x^2}{2 b^3}+\frac {f x^2}{4 b}-\frac {a (e+f x) \cosh (c+d x)}{b^2 d}-\frac {f \cosh ^2(c+d x)}{4 b d^2}-\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}\right )}{b^3 d}+\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a+\sqrt {a^2+b^2}}\right )}{b^3 d}+\frac {a f \sinh (c+d x)}{b^2 d^2}+\frac {(e+f x) \cosh (c+d x) \sinh (c+d x)}{2 b d}+\frac {\left (a \sqrt {a^2+b^2} f\right ) \int \log \left (1+\frac {2 b e^{c+d x}}{2 a-2 \sqrt {a^2+b^2}}\right ) \, dx}{b^3 d}-\frac {\left (a \sqrt {a^2+b^2} f\right ) \int \log \left (1+\frac {2 b e^{c+d x}}{2 a+2 \sqrt {a^2+b^2}}\right ) \, dx}{b^3 d}\\ &=\frac {a^2 e x}{b^3}+\frac {e x}{2 b}+\frac {a^2 f x^2}{2 b^3}+\frac {f x^2}{4 b}-\frac {a (e+f x) \cosh (c+d x)}{b^2 d}-\frac {f \cosh ^2(c+d x)}{4 b d^2}-\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}\right )}{b^3 d}+\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a+\sqrt {a^2+b^2}}\right )}{b^3 d}+\frac {a f \sinh (c+d x)}{b^2 d^2}+\frac {(e+f x) \cosh (c+d x) \sinh (c+d x)}{2 b d}+\frac {\left (a \sqrt {a^2+b^2} f\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {2 b x}{2 a-2 \sqrt {a^2+b^2}}\right )}{x} \, dx,x,e^{c+d x}\right )}{b^3 d^2}-\frac {\left (a \sqrt {a^2+b^2} f\right ) \text {Subst}\left (\int \frac {\log \left (1+\frac {2 b x}{2 a+2 \sqrt {a^2+b^2}}\right )}{x} \, dx,x,e^{c+d x}\right )}{b^3 d^2}\\ &=\frac {a^2 e x}{b^3}+\frac {e x}{2 b}+\frac {a^2 f x^2}{2 b^3}+\frac {f x^2}{4 b}-\frac {a (e+f x) \cosh (c+d x)}{b^2 d}-\frac {f \cosh ^2(c+d x)}{4 b d^2}-\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}\right )}{b^3 d}+\frac {a \sqrt {a^2+b^2} (e+f x) \log \left (1+\frac {b e^{c+d x}}{a+\sqrt {a^2+b^2}}\right )}{b^3 d}-\frac {a \sqrt {a^2+b^2} f \text {Li}_2\left (-\frac {b e^{c+d x}}{a-\sqrt {a^2+b^2}}\right )}{b^3 d^2}+\frac {a \sqrt {a^2+b^2} f \text {Li}_2\left (-\frac {b e^{c+d x}}{a+\sqrt {a^2+b^2}}\right )}{b^3 d^2}+\frac {a f \sinh (c+d x)}{b^2 d^2}+\frac {(e+f x) \cosh (c+d x) \sinh (c+d x)}{2 b d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 3.14, size = 1551, normalized size = 4.74 \begin {gather*} \frac {2 b^2 e \left (\frac {c}{d}+x-\frac {2 a \text {ArcTan}\left (\frac {b-a \tanh \left (\frac {1}{2} (c+d x)\right )}{\sqrt {-a^2-b^2}}\right )}{\sqrt {-a^2-b^2} d}\right )+b^2 f \left (x^2+\frac {2 i a \pi \tanh ^{-1}\left (\frac {-b+a \tanh \left (\frac {1}{2} (c+d x)\right )}{\sqrt {a^2+b^2}}\right )}{\sqrt {a^2+b^2} d^2}+\frac {2 a \left (2 \left (-i c+\text {ArcCos}\left (-\frac {i a}{b}\right )\right ) \tanh ^{-1}\left (\frac {(a+i b) \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )+(-2 i c+\pi -2 i d x) \tanh ^{-1}\left (\frac {(a-i b) \tan \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )-\left (\text {ArcCos}\left (-\frac {i a}{b}\right )+2 i \tanh ^{-1}\left (\frac {(a+i b) \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )\right ) \log \left (\frac {(i a+b) \left (a+i \left (b+\sqrt {-a^2-b^2}\right )\right ) \left (-i+\cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}{b \left (i a+b+i \sqrt {-a^2-b^2} \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}\right )-\left (\text {ArcCos}\left (-\frac {i a}{b}\right )-2 i \tanh ^{-1}\left (\frac {(a+i b) \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )\right ) \log \left (\frac {(i a+b) \left (i a-b+\sqrt {-a^2-b^2}\right ) \left (i+\cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}{b \left (a-i b+\sqrt {-a^2-b^2} \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}\right )+\left (\text {ArcCos}\left (-\frac {i a}{b}\right )-2 i \tanh ^{-1}\left (\frac {(a+i b) \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )-2 i \tanh ^{-1}\left (\frac {(a-i b) \tan \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )\right ) \log \left (-\frac {(-1)^{3/4} \sqrt {-a^2-b^2} e^{-\frac {c}{2}-\frac {d x}{2}}}{\sqrt {2} \sqrt {-i b} \sqrt {a+b \sinh (c+d x)}}\right )+\left (\text {ArcCos}\left (-\frac {i a}{b}\right )+2 i \left (\tanh ^{-1}\left (\frac {(a+i b) \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )+\tanh ^{-1}\left (\frac {(a-i b) \tan \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )}{\sqrt {-a^2-b^2}}\right )\right )\right ) \log \left (\frac {\sqrt [4]{-1} \sqrt {-a^2-b^2} e^{\frac {1}{2} (c+d x)}}{\sqrt {2} \sqrt {-i b} \sqrt {a+b \sinh (c+d x)}}\right )+i \left (\text {PolyLog}\left (2,\frac {\left (i a+\sqrt {-a^2-b^2}\right ) \left (i a+b-i \sqrt {-a^2-b^2} \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}{b \left (i a+b+i \sqrt {-a^2-b^2} \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}\right )-\text {PolyLog}\left (2,\frac {\left (a+i \sqrt {-a^2-b^2}\right ) \left (-a+i b+\sqrt {-a^2-b^2} \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}{b \left (i a+b+i \sqrt {-a^2-b^2} \cot \left (\frac {1}{4} (2 i c+\pi +2 i d x)\right )\right )}\right )\right )\right )}{\sqrt {-a^2-b^2} d^2}\right )+\frac {2 e \left (\left (4 a^2+b^2\right ) (c+d x)-\frac {2 a \left (4 a^2+3 b^2\right ) \text {ArcTan}\left (\frac {b-a \tanh \left (\frac {1}{2} (c+d x)\right )}{\sqrt {-a^2-b^2}}\right )}{\sqrt {-a^2-b^2}}-4 a b \cosh (c+d x)+b^2 \sinh (2 (c+d x))\right )}{d}+\frac {f \left (\left (4 a^2+b^2\right ) (-c+d x) (c+d x)-8 a b d x \cosh (c+d x)-b^2 \cosh (2 (c+d x))-\frac {2 a \left (4 a^2+3 b^2\right ) \left (2 c \tanh ^{-1}\left (\frac {a+b \cosh (c+d x)+b \sinh (c+d x)}{\sqrt {a^2+b^2}}\right )+(c+d x) \log \left (1+\frac {b (\cosh (c+d x)+\sinh (c+d x))}{a-\sqrt {a^2+b^2}}\right )-(c+d x) \log \left (1+\frac {b (\cosh (c+d x)+\sinh (c+d x))}{a+\sqrt {a^2+b^2}}\right )+\text {PolyLog}\left (2,\frac {b (\cosh (c+d x)+\sinh (c+d x))}{-a+\sqrt {a^2+b^2}}\right )-\text {PolyLog}\left (2,-\frac {b (\cosh (c+d x)+\sinh (c+d x))}{a+\sqrt {a^2+b^2}}\right )\right )}{\sqrt {a^2+b^2}}+8 a b \sinh (c+d x)+2 b^2 d x \sinh (2 (c+d x))\right )}{d^2}}{8 b^3} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1011\) vs.
\(2(297)=594\).
time = 1.58, size = 1012, normalized size = 3.09
method | result | size |
risch | \(\frac {a^{2} f \,x^{2}}{2 b^{3}}+\frac {f \,x^{2}}{4 b}+\frac {a^{2} e x}{b^{3}}+\frac {e x}{2 b}+\frac {\left (2 d x f +2 d e -f \right ) {\mathrm e}^{2 d x +2 c}}{16 d^{2} b}-\frac {a \left (d x f +d e -f \right ) {\mathrm e}^{d x +c}}{2 b^{2} d^{2}}-\frac {a \left (d x f +d e +f \right ) {\mathrm e}^{-d x -c}}{2 b^{2} d^{2}}-\frac {\left (2 d x f +2 d e +f \right ) {\mathrm e}^{-2 d x -2 c}}{16 d^{2} b}+\frac {2 a^{3} e \arctanh \left (\frac {2 b \,{\mathrm e}^{d x +c}+2 a}{2 \sqrt {a^{2}+b^{2}}}\right )}{d \,b^{3} \sqrt {a^{2}+b^{2}}}+\frac {2 a e \arctanh \left (\frac {2 b \,{\mathrm e}^{d x +c}+2 a}{2 \sqrt {a^{2}+b^{2}}}\right )}{d b \sqrt {a^{2}+b^{2}}}-\frac {a^{3} f \ln \left (\frac {-b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}-a}{-a +\sqrt {a^{2}+b^{2}}}\right ) x}{d \,b^{3} \sqrt {a^{2}+b^{2}}}-\frac {a^{3} f \ln \left (\frac {-b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}-a}{-a +\sqrt {a^{2}+b^{2}}}\right ) c}{d^{2} b^{3} \sqrt {a^{2}+b^{2}}}+\frac {a^{3} f \ln \left (\frac {b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}+a}{a +\sqrt {a^{2}+b^{2}}}\right ) x}{d \,b^{3} \sqrt {a^{2}+b^{2}}}+\frac {a^{3} f \ln \left (\frac {b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}+a}{a +\sqrt {a^{2}+b^{2}}}\right ) c}{d^{2} b^{3} \sqrt {a^{2}+b^{2}}}-\frac {a^{3} f \dilog \left (\frac {-b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}-a}{-a +\sqrt {a^{2}+b^{2}}}\right )}{d^{2} b^{3} \sqrt {a^{2}+b^{2}}}+\frac {a^{3} f \dilog \left (\frac {b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}+a}{a +\sqrt {a^{2}+b^{2}}}\right )}{d^{2} b^{3} \sqrt {a^{2}+b^{2}}}-\frac {a f \ln \left (\frac {-b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}-a}{-a +\sqrt {a^{2}+b^{2}}}\right ) x}{d b \sqrt {a^{2}+b^{2}}}-\frac {a f \ln \left (\frac {-b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}-a}{-a +\sqrt {a^{2}+b^{2}}}\right ) c}{d^{2} b \sqrt {a^{2}+b^{2}}}+\frac {a f \ln \left (\frac {b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}+a}{a +\sqrt {a^{2}+b^{2}}}\right ) x}{d b \sqrt {a^{2}+b^{2}}}+\frac {a f \ln \left (\frac {b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}+a}{a +\sqrt {a^{2}+b^{2}}}\right ) c}{d^{2} b \sqrt {a^{2}+b^{2}}}-\frac {a f \dilog \left (\frac {-b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}-a}{-a +\sqrt {a^{2}+b^{2}}}\right )}{d^{2} b \sqrt {a^{2}+b^{2}}}+\frac {a f \dilog \left (\frac {b \,{\mathrm e}^{d x +c}+\sqrt {a^{2}+b^{2}}+a}{a +\sqrt {a^{2}+b^{2}}}\right )}{d^{2} b \sqrt {a^{2}+b^{2}}}-\frac {2 a^{3} f c \arctanh \left (\frac {2 b \,{\mathrm e}^{d x +c}+2 a}{2 \sqrt {a^{2}+b^{2}}}\right )}{d^{2} b^{3} \sqrt {a^{2}+b^{2}}}-\frac {2 a f c \arctanh \left (\frac {2 b \,{\mathrm e}^{d x +c}+2 a}{2 \sqrt {a^{2}+b^{2}}}\right )}{d^{2} b \sqrt {a^{2}+b^{2}}}\) | \(1012\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1484 vs.
\(2 (301) = 602\).
time = 0.42, size = 1484, normalized size = 4.54 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\mathrm {cosh}\left (c+d\,x\right )}^2\,\mathrm {sinh}\left (c+d\,x\right )\,\left (e+f\,x\right )}{a+b\,\mathrm {sinh}\left (c+d\,x\right )} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________